nat{-}deq $\in$ EqDecider($\mathbb{N}$)